Добро пожаловать в сегодняшнюю обзору.

И теперь к вопросу.

В алгебрисах, если мы говорим о группах, векторах или подобных структурах,

которые были definированы по операции и галактической форме,

то если мы говорим о хомоморфизме, то мы можем его раздевать в...

...как бы можно посмотреть на это видео, и это будет подсуществовать.

Давайте скажем Image Im из F.

И это здесь в инъективе. Я пишу такой код, который должен подразумевать инъективность,

и это будет субъективным хомоморфизмом.

И теперь так.

Есть разные вещи, которые можно сказать в алгебрисах.

Одна универсальная особенность, что имеет субъективные хомоморфизмы,

это...

...стоит отмечать несколько.

Одна из них, если мы их вклеим в квадраты, то мы можем найти определенные диагоналы.

Это может быть не то, что вы думаете.

Но я все равно пишу это.

Если у вас субъективный хомоморфизм,

и у вас инъективный, и здесь какие-то,

то есть именно одна диагональ.

Это еще и в алгебрисах субъективная образование и инъективная образование.

И для субъективного хомоморфизма в алгебре это тоже.

Если мы сейчас это definим, то моморфизм, который имеет эту особенность,

для всех квадратов есть один,

для всех квадратов с моно внизу есть один,

это называется стронг эпиз.

Есть целый зону прохладных хомоморфизмов.

Мы сейчас были нормальными эпизами, сплит эпизами,

это были эпизы, которые имеют соответствующий инверс,

в правом или в левом, как это подходит.

Регуляторами, а это другая класса, это стронг эпиз.

Они в алгебрисах точно такие же, как регуляторами,

то есть там нет разницы.

В топологических категориях есть разницы между стронгом и регулятором.

И затем есть экстремальные эпиз, это другая универсальная особенность,

которая имеет такой имидж.

Сейчас я посмотрю, если я это правильно выясню.

Я скажу это сначала для моно и потом дуализирую это.

Итак, экстремальный моно, это моно,

так что если я его фактурирую через что-то,

то есть этот здесь какой-то, это моно, это какой-то f,

и если он моно, то он уже изомофисмус.

Это экстремальный моно, но это не автоматически происходит.

Если это фактурируется через что-то, то это моно,

а здесь это уже достаточно.

Если я имею эти характеристики с квадратом,

то я уже знаю, что это эпиз.

Это можно доказать.

Эпиз, если я его имею и два, которые это увеличивают,

то они же одинаковые.